propositional satisfiability造句

例句与造句

1. Such other problems include propositional satisfiability and three-colorability.
2. He is noted for his work in constraint programming and propositional satisfiability.
3. Szeider published more than 140 refereed publications in the areas of theoretical computer science, algorithms, computational complexity, artificial intelligence, propositional satisfiability and constraint satisfaction.
4. The Davis Putnam Logemann Loveland algorithm is a 1962 refinement of the propositional satisfiability step of the Davis Putnam procedure which requires only a linear amount of memory in the worst case.
5. For propositional satisfiability of conjunctive normal form formulae, which is the original settings of this algorithm, every such a move changes the value of the variable from true to false or vice versa, and produce the satisfiability of the violated constraint.
6. It's difficult to find propositional satisfiability in a sentence. 用propositional satisfiability造句挺难的